Units of Measure

Measure型の定義

code:fs

Measure型の使用

code:fs

let height = 1.8<m>

let weight = 60<kg>

単位の組み合わせの単位を定義できる

code:fs

let force1 = 5.0<kg m/sec^2>

let force2 = 5.0<N>

force1 = force2 // true

同一のものはちゃんとtrueになる

単位の異なる加減演算はエラーになる

code:fs

3.0<foot> + 2.0<foot> // OK

3.0<foot> + 2.0 // error

genericな関数への対応

code:fs

let square (x:int<_>) = x * x

// test

square 10<foot> // OK　　foot^2

square 10<sec> // OK

具体例がたくさん載っていてわかりやすい